Prioritised Dynamic Communicating Processes: Part II
نویسنده
چکیده
This paper illustrates the work presented in ‘Part I’, giving additional examples of use of channel-types, extended rendezvous and s that lean towards real applications. Also presented are a number of other additions and extensions to the occam language that correct, tidy up or complete facilities that have long existed. These include fixing the bug, allowing an unconditional guard as the last in a , replicator sizes, run-time computed replication counts, parameters and abbreviations, nested definitions, inline array constructors and parallel recursion. All are available in the latest release (1.3.3) of KRoC, freely available (GPL/open source) from: .
منابع مشابه
Prioritised dynamic communicating and mobile processes
Continuing research on language design, compilation and kernel support for highly dynamic concurrent reactive systems is reported. The work extends the occam multiprocessing language, which is both sufficiently small to allow for easy experimentation and sufficiently powerful to yield results that are directly applicable to a wide range of industrial and commercial practice. Classical occam was...
متن کاملPrioritised Dynamic Communicating Processes: Part I
This paper reports continuing research on language design, compilation and kernel support for highly dynamic concurrent reactive systems. The work extends the occam multiprocessing language, which is both sufficiently small to allow for easy experimentation and sufficiently powerful to yield results that are directly applicable to a wide range of industrial and commercial practice. Classical oc...
متن کاملMobile Barriers for occam-pi: Semantics, Implementation and Application
This paper introduces a safe language binding for CSP multiway events (barriers — both static and mobile) that has been built into occam-π (an extension of the classical occam language with dynamic parallelism, mobile processes and mobile channels). Barriers provide a simple way for synchronising multiple processes and are the fundamental control mechanism underlying both CSP (Communicating Seq...
متن کاملBarrier Synchronisation for occam-pi
This paper introduces a safe language binding for CSP multiway events (barriers) that has been built into occam-π (an extension of the classical occam language with dynamic parallelism, mobile processes and mobile channels). Barriers provide a simple way for synchronising multiple processes and are the fundamental control mechanism underlying both CSP (Communicating Sequential Processes) and BS...
متن کاملSpecifying Dynamic Reat-Time Systems in CRP
In this paper, we show that the paradigm of Communicating Reactive Processes (CRP) can be eeectively used for programming dynamic real-time systems. Timed CRP uniies asynchronous and perfectly synchronous mechanisms and can specify hybrid reactive systems. Here, we show that it can be used for specifying strict timing constraints and for achieving the notion of guarantee.
متن کامل